From ae68dc7a7de1cb36c00da87e1adf0f807ebbdd9b Mon Sep 17 00:00:00 2001 From: Christoph Reiter Date: Tue, 26 Mar 2019 07:59:01 +0100 Subject: [PATCH] win32: remove unused gdk_display_warp_device to fix the build --- gdk/win32/gdksurface-win32.c | 13 ------------- 1 file changed, 13 deletions(-) diff --git a/gdk/win32/gdksurface-win32.c b/gdk/win32/gdksurface-win32.c index d52d099e2b..f5ce2b357c 100644 --- a/gdk/win32/gdksurface-win32.c +++ b/gdk/win32/gdksurface-win32.c @@ -1953,19 +1953,6 @@ gdk_surface_win32_get_device_state (GdkSurface *window, return (child != NULL); } -void -gdk_display_warp_device (GdkDisplay *display, - GdkDevice *device, - gint x, - gint y) -{ - g_return_if_fail (display == gdk_display_get_default ()); - g_return_if_fail (GDK_IS_DEVICE (device)); - g_return_if_fail (display == gdk_device_get_display (device)); - - GDK_DEVICE_GET_CLASS (device)->warp (device, x, y); -} - static void gdk_win32_surface_set_accept_focus (GdkSurface *window, gboolean accept_focus) -- 2.30.2